Smart Contracts enable the automated execution of exchanges on the blockchain. From an ontological perspective, smart contracts create and automate the fulfillment of social commitments between actors. Whereas traditional deontic logic is used to make a legal determination in contractual multi-actor interactions, this paper focuses on the consequences of these actions resulting from that determination, thereby shifting the focus from monitoring to execution. The interactions between actors and the consequences in terms of commitments have not yet been formalized for smart (...) contracts. The perspective of smart contracts is interesting, since they are considered to be autonomous agents, able to generate automated actions. We use the Event Calculus as a formal logic to represent and reason about the effects of these automated actions and the resulting commitments. Since the Event Calculus deals with local events and the consideration of time, this approach enables the uniform representation of commitments, including their operations and reasoning rules. (shrink)

In dit proefschrift wordt onderzocht hoe het vrouwelijke wordt ingezet bij een herwaardering van de menselijkheid. Daarvoor wordt de betekenis van het vrouwelijke in de filosofie van Emmanuel Levinas bestudeerd. In zijn werk zijn met name drie vrouwelijke gestalten die de weg van de subjectiviteit tot de transcendentie markeren. Aan elk van die gestalten wordt een deel van de studie gewijd. Tevens wordt ter vergelijking een tekst van Hegel besproken en twee teksten van Luce Irigaray geanalyseerd.

This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.

This article advances theory on social movements’ strategic adaptation to political opportunity structures by incorporating a narrative perspective. Our theory explains how people acquire and use knowledge about political opportunity structures through storytelling about the movement’s past, present, and imagined future. The discussion applies the theory in an ethnographic case study of the climate movement’s mobilization around the UN Climate Summit in Paris, 2015. This analysis demonstrates how a dominant narrative of defeat about the prior protest campaign in Copenhagen, 2009 (...) shaped the strategizing process. While those who experienced Copenhagen as a success preferred strategic continuity, those who experienced defeat developed a “Copenhagen narrative” to advance strategic adaptation by projecting previously experienced threats and opportunities onto the Paris campaign. Yet by relying on a retrospective narrative, movement actors tended to overlook emerging political opportunities. We demonstrate that narrative analysis is a useful tool for understanding the link between structure and agency in social movements and other actors affected by (political) opportunity structures. (shrink)

This paper is the introduction to a topical collection on “Changing Values and Energy Systems” that consists of six contributions that examine instances of value change regarding the design, use and operation of energy systems. This introduction discusses the need to consider values in the energy transition. It examines conceptions of value and value change and how values can be addressed in the design of energy systems. Value change in the context of energy and energy systems is a topic that (...) has recently gained traction. Current, and past, energy transitions often focus on a limited range of values, such as sustainability, while leaving other salient values, such as energy democracy, or energy justice, out of the picture. Furthermore, these values become entrenched in the design of these systems: it is hard for stakeholders to address new concerns and values in the use and operation of these systems, leading to further costly transitions and systems’ overhaul. To remedy this issue, value change in the context of energy systems needs to be better understood. We also need to think about further requirements for the governance, institutional and engineering design of energy systems to accommodate future value change. Openness, transparency, adaptiveness, flexibility and modularity emerge as new requirements within the current energy transition that need further exploration and scrutiny. (shrink)

The emerging field of responsible leadership holds various possibilities for business and society. The wide range of conceptualizations, definitions, and theorizations of RL as a distinctive or unique leadership construct has not previously been investigated through a systematic review. To conceptualize the intrinsic meaning of responsible leadership as a distinct leadership construct, and to bring coherence to the expanding body of literature on responsible leadership, evidence from 162 peer‐reviewed journal articles on responsible leadership, ethical leadership, servant leadership, authentic leadership, transformational (...) leadership, and values‐based leadership have been analyzed through a systematic review. The aim was to synthesize a coherent and intrinsic meaning of responsible leadership in order to identify the place of responsible leadership in the leadership domain. The findings suggest that responsible leadership is not an independent leadership construct, but largely builds on and leverages other leadership theories and approaches. However, the findings indicate that the core meaning of responsible leadership is distinctive in its relational focus on, and accountability for, the active engagement of stakeholders; the balancing of stakeholder interests; the building of social capital; and the assurance of long‐term sustainability of society and the natural environment, beyond responsibilities to internal stakeholders. (shrink)

Inleiding tot het gedachtegoed van de Franse filosoof Alain Badiou (1937).

We determine the strictly positive fragment \(\textsf{QPL}^+(\textsf{HA})\) of the quantified provability logic \(\textsf{QPL}(\textsf{HA})\) of Heyting Arithmetic. We show that \(\textsf{QPL}^+(\textsf{HA})\) is decidable and that it coincides with \(\textsf{QPL}^+(\textsf{PA})\), which is the strictly positive fragment of the quantified provability logic of of Peano Arithmetic. This positively resolves a previous conjecture of the authors described in [ 14 ]. On our way to proving these results, we carve out the strictly positive fragment \(\textsf{PL}^+(\textsf{HA})\) of the provability logic \(\textsf{PL}(\textsf{HA})\) of Heyting Arithmetic, provide (...) a simple axiomatization, and prove it to be sound and complete for two types of arithmetical interpretations. The simple fragments presented in this paper should be contrasted with a recent result by Mojtahedi [ 43 ], where an axiomatization for \(\textsf{PL}(\textsf{HA})\) is provided. This axiomatization, although decidable, is of considerable complexity. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

The first decades of the twentieth century saw the emergence of Calvinist economics in the Netherlands. This clearly normative approach to economics was inspired by Abraham Kuyper and was criticized by mainstream economists from the outset. It would eventually disappear under pressure of positive economics, but survived until at least the middle of the century. Calvinist economics itself was highly critical of classical economics and, unlike the neo-classical school, strove after an entire reformation of economic thought. Calvinists writers like T. (...) de Vries, P. A. Diepenhorst, J. A. Nederbragt and J. Ridder did not constitute a school of economic thought, but nevertheless shared some fundamental ideas such as the influence of world views on economics, the existence of divine ordinances for the economic domain, and the central place of man in God’s plan for the economy. In this article, I describe the rise, sources of inspiration, fundamentals, aim and methodology of Calvinist economics. Although the perspective of this article is historical, this episode from the history of economic thought may inform us about the relationship between Christianity and the science of economics as well as that between economics and the economic crisis. (shrink)

Vardanyan’s Theorems [36, 37] state that $\mathsf {QPL}(\mathsf {PA})$ —the quantified provability logic of Peano Arithmetic—is $\Pi ^0_2$ complete, and in particular that this already holds when the language is restricted to a single unary predicate. Moreover, Visser and de Jonge [38] generalized this result to conclude that it is impossible to computably axiomatize the quantified provability logic of a wide class of theories. However, the proof of this fact cannot be performed in a strictly positive signature. The system $\mathsf (...) {QRC_1}$ was previously introduced by the authors [1] as a candidate first-order provability logic. Here we generalize the previously available Kripke soundness and completeness proofs, obtaining constant domain completeness. Then we show that $\mathsf {QRC_1}$ is indeed complete with respect to arithmetical semantics. This is achieved via a Solovay-type construction applied to constant domain Kripke models. As corollaries, we see that $\mathsf {QRC_1}$ is the strictly positive fragment of $\mathsf {QGL}$ and a fragment of $\mathsf {QPL}(\mathsf {PA})$. (shrink)

GILBERT JEAN FACCARELLO (Paris, 1950) is professor of economics at Université Panthéon-Assas, Paris, and a member of the Triangle research centre (École Normale Supérieure de Lyon and CNRS). He is presently chair of the ESHET Council (European Society for the History of Economic Thought). He completed his doctoral research in economics at Université de Paris X Nanterre. He has previously taught at the Université de Paris-Dauphine, Université du Maine and École Normale Supérieure de Fontenay/Saint-Cloud (now École Normale Supérieure de Lyon). (...) He is a co-founder of The European Journal of the History of Economic Thought, which he co-edited for 20 years with J. L. Cardoso, Heinz D. Kurz, and A. Murphy. With Alain Béraud, he edited the Nouvelle histoire de la pensée économique (La Découverte, 3 volumes, 1992-2000) and, together with Heinz D. Kurz, he is presently editing a Handbook of the History of Economic Analysis (3 volumes, forthcoming with Edward Elgar). -/- EJPE interviewed Gilbert Faccarello about his research career in the history of economic thought, where he has focused especially on old and new classical and Marxian political economy, and French political economy during the 18th and 19th centuries. G. Faccarello discusses his interest not only in the logical structure and context of the economic ideas of past thinkers but also the links between economic thought, philosophy, and religion. (shrink)

The International Conference on Cognitive Modeling brings together researchers from around the world whose main goal is to build computational systems that reflect the internal processes of the mind. In this issue, we present the five best representative papers on this work from our 19th meeting, ICCM 2021, which was held virtually from July 3 to July 9, 2021. Three of these papers provide new techniques for refining computational models, giving better methods for taking empirical data and producing accurate computational (...) models of the cognitive systems that produce them. The other two papers focus on explanation: using models to elucidate the underlying processes affecting cognition in such diverse domains as logical reasoning and the effects of caffeine. (shrink)

The issue of gender and agriculture has been on the research agendas of civil society organisations, governments, and academia since the 1970s. Starting from the role of women in agriculture, research has mainly focused on the gendered division of work and the normative constitution of the farm as masculine. Although the gendered division of work has been questioned, the idea of binary gender has mostly been taken as a given. This explorative research shifts the attention from the production of (traditional) (...) gender roles to the making and unmaking of binary gender. An ethnographic study of four farms in Switzerland is drawn on to explore queer farming practices and investigate how queer farmers navigate gender normativity and what this tells us about gender in agriculture more broadly. After considering the mechanisms through which queer farmers are discouraged from farming as a livelihood on the basis of their sex, gender or sexuality, this article argues that queer farmers de- and re-construct gender and farming identities differently, which has research and policy implications for a more diverse and resilient rurality. (shrink)

This article deals with the birth of `the virus' as an object of technoscientific analysis. The aim is to discuss the process of objectification of pathogen virulence in virological and medical discourses. Through a short excursion into the history of modern virology, it will be argued that far from being a matter of fact, pathogen virulence had to be `produced', for example in petri-dishes, test-kits and hyper-real signification-practices. The now commonly accepted objective status of `the virus' has been an accomplishment (...) of a complex ensemble of actors. Indeed, this illustrates why objectification rather than objectivity has become the main focus of science and technology studies. The objectification of `the' virus was by no means a smooth process. It involved more than five decades of highly speculative and fragmented research projects before it became actualized as a separate discipline under the heading of virology. The specific objectification of viruses took place through an inter-disciplinary de-differentiation of research questions, methodologies, techniques and technologies. The main argument of this article is that viruses only became intelligible after the establishment of a virology-assemblage. Its inauguration in the early 1950s was radical and sudden because only then could the various substrands of virological technoscience affect each other through deliberate enrolment, and engender a universal intelligibility. (shrink)

For decades, the discussion on children’s competence to consent to medical issues has concentrated around normative concerns, with little progress in clinical practices. Decision-making competence is an important condition in the informed consent model. In pediatrics, clinicians need to strike a proper balance in order to both protect children’s interests when they are not fully able to do so themselves and to respect their autonomy when they are. Children’s competence to consent, however, is currently not assessed in a standardized way. (...) Moreover, the correlation between competence to give informed consent and age in children has never been systematically investigated, nor do we know which factors exactly contribute to children’s competence. (shrink)

A persistent controversy in language evolution research has been whether language emerged in the gestural-visual or in the vocal-auditory modality. A “dialectic” solution to this age-old debate has now been gaining ground: language was fully multimodal from the start and remains so to this day. In this paper, we show this solution to be too simplistic and outline a more specific theoretical proposal, which we designate as pantomime-first. To decide between the multimodal-first and pantomime-first alternatives, we review several lines of (...) interdisciplinary evidence and complement it with a cognitive-semiotic experiment. In the study, the participants saw – and then matched to hand-drawn images – recordings of short transitive events enacted by 4 actors in two conditions: visual and multimodal. Significantly, the matching accuracy was greater in the visual than the multimodal condition, though a follow-up experiment revealed that the emotional profiles of the events enacted in the multimodal condition could be reliably detected from the sound alone. We see these results as supporting the proposed pantomime-first scenario. (shrink)

Would metaphors used in the context of psychotherapy by people who experience various forms of anxiety disorders differ from those used by people who experience stress? We investigated this question with the help of the Motivation & Sedimentation Model (MSM), a theory of meaning-making developed within the synthetic new discipline of cognitive semiotics. The analysis of a sample of ten transcripts of psychotherapy sessions concerning the topic of anxiety, and a comparable sample concerning stress, showed a significantly stronger proportion of (...) conventionalized metaphors in the stress sample, and a marginally significant difference in the number of innovative metaphors in the anxiety sample. These results suggest that lived experience of an anxiety disorder or another form of maladaptive anxiety affects metaphorical meaning-making, and manifests itself in spontaneous metaphor use. Furthermore, as a result of the conceptual and the empirical investigations of the topic, we propose novel theoretical and operational definitions of the notion of metaphoricity. (shrink)

Human communication can be either monosemiotic or polysemiotic, depending on whether it combines ensembles of representations from one or more semiotic systems such as language, gesture and depiction. Each semiotic system has its unique storytelling potentials, which makes intersemiotic translation from one system to another challenging. We investigated the influence of the source semiotic system, realised in speech and a sequence of pictures, respectively, on the way the same story was retold using speech and co-speech gestures. The story was the (...) content of the picture book Frog, Where Are You?. A group of Finnish speakers saw the story in pictures, and another group heard it in matched oral narration. Each participant retold the story to an addressee and all narrations were video-recorded and analysed for both speech and gestures. Given the high degree of iconicity in depiction, we expected more iconic gestures (especially enactments) in the narratives translated from pictures than in those translated from speech. Conversely, we expected greater narrative coherence in the narratives translated from speech. The results showed that more iconic gestures were produced in the narratives translated from speech, but these were primarily not from the enactment subtype. As expected, iconic enactments were more frequent in the narratives translated from the story presented in pictures. The narratives produced by participants who had only heard the story did not have a greater variety of connective devices, yet the type of devices differed slightly between the groups. Together with some additional differences between the groups that had not been anticipated, the results indicate that a story presented in different semiotic systems tends to be translated into different polysemiotic narratives. (shrink)

When people talk about kinship systems, they often use co-speech gestures and other representations to elaborate. This paper investigates such polysemiotic (spoken, gestured, and drawn) descriptions of kinship relations, to see if they display recurring patterns of conventionalization that capture specific social structures. We present an exploratory hypothesis-generating study of descriptions produced by a lesser-known ethnolinguistic community to the cognitive sciences: the Paamese people of Vanuatu. Forty Paamese speakers were asked to talk about their family in semi-guided kinship interviews. Analyses (...) of the speech, gesture, and drawings produced during these interviews revealed that lineality (i.e., mother's side vs. father's side) is lateralized in the speaker's gesture space. In other words, kinship members of the speaker's matriline are placed on the left side of the speaker's body and those of the patriline are placed on their right side, when they are mentioned in speech. Moreover, we find that the gesture produced by Paamese participants during verbal descriptions of marital relations are performed significantly more often on two diagonal directions of the sagittal axis. We show that these diagonals are also found in the few diagrams that participants drew on the ground to augment their verbo-gestural descriptions of marriage practices with drawing. We interpret this behavior as evidence of a spatial template, which Paamese speakers activate to think and communicate about family relations. We therefore argue that extending investigations of kinship structures beyond kinship terminologies alone can unveil additional key factors that shape kinship cognition and communication and hereby provide further insights into the diversity of social structures. (shrink)

Every day we make choices, but our degree of investment in them differs, both in terms of pre-verbal experience and verbal justification. In an earlier experimental study, participants were asked to pick the more attractive one among two human faces, and among two abstract figures, and later to provide verbal motivations for these choices. They did not know that in some of the cases their choices were manipulated. Against claims about our unreliability as conscious agents, the study found that in (...) about half the cases the manipulations were detected. In the present study, we investigated whether varying degrees of choice investment could be an explanatory factor for such findings. We analysed the verbal justifications of the participants along a set of semantic categories, based on theoretical ideas from phenomenology and cognitive linguistics, and formulated a matrix of eleven markers of choice investment. We predicted a greater degree of investment when motivating choices of faces than figures, manipulated than actual choices, and detected than non-detected manipulations. These predictions were confirmed, but with various strength. This allows us to argue for both consilience and differences between pre-verbal choice investment and the corresponding verbal motivations of the choices made, and thus for conscious awareness of choice making. (shrink)

PurposeThe relation between fear of childbirth and gestational age is inconclusive, and self-reported need for help regarding this fear has never been investigated. This study aimed to determine the prevalence and course of FoC according to gestational age, to identify risk factors for the development of FoC, the influence of this fear on preferred mode of delivery, and self-reported need for help.MethodsNulliparous pregnant women of all gestational ages completed an online survey. The study consisted of a cross-sectional and a longitudinal (...) analysis. Women who completed the survey in the first or second trimester were approached again in their third trimester. The Wijma Delivery Expectancy Questionnaire Version A was used with a cut-off score ≥ 85 to define presence of fear of childbirth. Questionnaires indexing social support, anxiety, symptoms of depression, preferred mode of delivery, and self-reported need for help were included.ResultsIn total, 364 women were enrolled at T0, and 118 out of 184 eligible women were included in the longitudinal analysis. Point prevalence of FoC at T0 was 18.4% with no significant difference between trimesters. In the longitudinal sample, the prevalence of FoC decreased from 18.6% to 11.0%, p = 0.004. Although mean scores for FoC decreased significantly, p < 0.001, scores increased in 41 women. The presence of FoC was associated with elevated anxiety, less family support, prenatal care of the obstetrician by choice, preference for a cesarean section, and for pain relief. Women with FoC were more likely to actively seek for help compared to women without FoC.ConclusionWhile FoC is common in each trimester, prevalence decreases over the course of pregnancy. Women with FoC are often actively seeking for help, suggesting that this fear should be addressed better, and help should be offered accordingly. (shrink)

As humans interact in the world, they often orient one another's attention to objects through the use of spoken demonstrative expressions and head and/or hand movements to point to the objects. Although indicating behaviors have frequently been studied in lab settings, we know surprisingly little about how demonstratives and pointing are used to coordinate attention in large-scale space and in natural contexts. This study investigates how speakers of Quiahije Chatino, an indigenous language of Mexico, use demonstratives and pointing to give (...) directions to named places in large-scale space across multiple scales. The results show that the use and coordination of demonstratives and pointing change as the scale of search space for the target grows. At larger scales, demonstratives and pointing are more likely to occur together, and the two signals appear to manage different aspects of the search for the target: demonstratives orient attention primarily to the gesturing body, while pointing provides cues for narrowing the search space. These findings underscore the distinct contributions of speech and gesture to the linguistic composite, while illustrating the dynamic nature of their interplay.s in Spanish and Quiahije Chatino are provided as appendices.Se incluyen como apéndices resúmenes en español y en el chatino de San Juan Quiahije. SonGktyiCreCinH, ngyaqCskaEktyiCnoEndaHsonBnaFngaJnoIngyaqCloEktyiCreC, ngyaqCranFchaqExlyaKqoEchaqFjnyaJnoAndywiqArenqAKchinAKyqyaC. (shrink)

In their open peer commentary: “Making It Count: Extracting Real World Data from Compassionate Use and Expanded Access Programs”, Rozenberg and Greenbaum discuss impo...

Bespreking van: Joost De Bloois (2016) In naam van het Maagdenhuis. Amsterdam: Leesmagazijn, 120 pp. & Casper Thomas (2015) Competente rebellen: Hoe de universiteit in opstand kwam tegen het marktdenken. Amsterdam: Amsterdam University Press, 192 pp.

The contributors to _The Anomie of the Earth_ explore the convergences and resonances between Autonomist Marxism and decolonial thinking. In discussing and rejecting Carl Schmitt's formulation of the nomos—a conceptualization of world order based on the Western tenets of law and property—the authors question the assumption of universal political subjects and look towards politics of the commons divorced from European notions of sovereignty. They contrast European Autonomism with North and South American decolonial and indigenous conceptions of autonomy, discuss the legacies (...) of each, and examine social movements in the Americas and Europe. Beyond orthodox Marxism, their transatlantic exchanges point to the emerging categories disclosed by the collapse of the colonial and capitalist frameworks of Western modernity. Contributors. Joost de Bloois, Jodi A. Byrd, Gustavo Esteva, Silvia Federici, Wilson Kaiser, Mara Kaufman, Frans-Willem Korsten, Federico Luisetti, Sandro Mezzadra, Walter D. Mignolo, Benjamin Noys, John Pickles, Alvaro Reyes, Catherine Walsh, Gareth Williams, Zac Zimmer. (shrink)

This paper presents a comprehensive account of Peirce's post-1900 theory of abduction. The account aims at bringing together various strands of discussion in Peirce's work, showing how their interaction creates a more coherent picture of his thoughts on abductive reasoning as manifest after the turn of the century. The discussion is of a historical nature, rather than a critical assessment.